home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_req2.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  494 b   |  40 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_REQ2
  5.    --
  6.    -- To correct a bug find by Cyril ADRIAN.
  7.    --
  8. creation {ANY}
  9.    make
  10.    
  11. feature {ANY}
  12.    
  13.    ab: ARRAY[BOOLEAN];
  14.       
  15.    make is
  16.       do
  17.      ab := <<true>>;
  18.      r;
  19.       end;
  20.    
  21.    r is 
  22.       require
  23.      ab @ 1;
  24.       do 
  25.      check
  26.         ab.item(1);
  27.      end;
  28.       ensure
  29.      ab.item(1);
  30.       end;
  31.    
  32. invariant
  33.    
  34.    ab.first;
  35.  
  36. end -- TEST_REQ2
  37.  
  38.  
  39.  
  40.